array vt. 1.打扮,装饰。 2.使…列队,排列。 3.提出(陪审官)名单,使(陪审官)列席,召集(陪审官)。 The general arrayed his troops for battle. 将军使军队列队准备战斗。 The girl arrayed herself in her finest clothes. 这女孩打扮得花枝招展。 The count and his men arrayed themselves against the king. 伯爵举兵对抗国王。 n. 1.整列,队列,阵(列);阵容。 2.〔诗〕衣裳,装扮,打扮。 3.陪审官名单。 4.一大批,一大群,一连串。 5.【数学】排列。 a battle array 战斗队形,列阵。 holiday array 节日盛装。 be in fine array 盛装。 an array of actors 演员的阵容。 a window array 橱窗陈列品。 an array of (umbrellas) 一排(伞)。 in battle array 列阵,严阵。 in proud array 堂堂正正。
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics 主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。